<pre>{{answer.proof_string}}</pre>